/**
 * 
 */
package controller;

import model.solver.SolverFactory;

/**
 * An extention of {@link ISessionManager} for our personnal implementation {@link SessionManager}
 * of {@link ISessionManager}.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public interface ISessionManagerExtends {

	/**
	 * Make the {@link ISessionManagerExtends} aware of modification in the available solver in the
	 * default {@link SolverFactory}.
	 */
	public void majSolver();

	/**
	 * Close the session.
	 * 
	 * @return if everything was close correctly.
	 */
	public boolean close();
}
